AutonomousAgent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1568-1569
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	AutonomousAgent ay ang klase mas tiyak sa bagay

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4157-4157	Furniture ay iba ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7648-7648	Ang reynds ng StreetAddressFn ay ang kasapi ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 953-953	AutonomousMobileRobot ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16348-16348	CommercialAgent ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1472-1472	Employer ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14207-14207	Laki ukol sa politika sa pamahalaan ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16399-16399	Lupon ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1619-1619	ITAgent ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14508-14508	Kinapal ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16785-16785	Kapisanan ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1576-1576	Kinatawanng mapag-isip ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 848-848	Kinatawanng mapag-isip ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64490-64490	Kinatawanng mapag-isip ay ang klase mas tiyak sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	english_format.kif 898-898	Kinatawanng mapag-isip ay ang klase mas tiyak sa AutonomousAgent

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2411-2411	Ang bilang 1 bahagi ng AbortedFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2510-2510	Ang bilang 1 bahagi ng AbortedLaunchFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2431-2431	Ang bilang 1 bahagi ng AbortedMissionFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1647-1647	Ang bilang 1 bahagi ng ElectionFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1283-1283	Ang bilang 1 bahagi ng ExecutiveBranchFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4034-4034	Ang bilang 1 bahagi ng FiscalYearFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4060-4060	Ang bilang 1 bahagi ng FiscalYearStartingFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4302-4302	Ang bilang 1 bahagi ng PropertyFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 981-981	Ang bilang 1 bahagi ng SellersItemsFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1016-1016	Ang bilang 1 bahagi ng SellersOtherItemsFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7877-7877	Ang bilang 1 bahagi ng WealthFn ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1660-1660	Ang bilang 2 bahagi ng achievement ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 600-600	Ang bilang 1 bahagi ng activityCapability ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2445-2445	Ang bilang 2 bahagi ng kumakatawan ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 3407-3407	Ang bilang 2 bahagi ng agentName ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2196-2196	Ang bilang 1 bahagi ng agentOperatesInArea ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24849-24849	Ang bilang 2 bahagi ng alias ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2463-2463	Ang bilang 1 bahagi ng allied ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2464-2464	Ang bilang 2 bahagi ng allied ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 155-155	Ang bilang 2 bahagi ng appointedPosition ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24569-24569	Ang bilang 1 bahagi ng areaOfResponsibility ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25120-25120	Ang bilang 2 bahagi ng arrested ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 230-230	Ang bilang 2 bahagi ng arrestingOfficer ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1945-1945	Ang bilang 3 bahagi ng askPrice ay ang halimbawa ng AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2385-2385	Ang bilang 1 bahagi ng associateInOrganization ay ang halimbawa ng AutonomousAgent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1736-1741	Kong bagay may katangian ng MemberFn kapisanan at bagay ay ang kasapi sa AutonomousAgent at kapisanan ay ang kasapi sa kapisanan, kung gayon bagay ay ang kasapi ng kapisanan
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32160-32171	Kong AutonomousAgent ay ang kasapi sa AutonomousAgent at AutonomousAgent may katangian ng Motionless ay tutoo panahon ng pagitan ng panahon, kung gayon walang paraan para sa ganoon paraan ay ang kasapi sa galaw ng katawan at paraan ay ang kasapi sa paraan ng pagkusa at paraan ang kumakatawan sa AutonomousAgent at ang panahon ng kabuhayan ng paraan nagaanap habang ** pagitan ng panahon
No TPTP formula. May not be expressible in strict first order.	Government.kif 1662-1666	Kong AutonomousAgent ay ang kasapi sa AutonomousAgent at paraan ay ang kasapi sa ElectionFn AutonomousAgent, kung gayon paraan ang kumakatawan sa ** AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1729-1734	Kong bagay ay ang kasapi sa AutonomousAgent at kapisanan ay ang kasapi sa kapisanan at bagay ay ang kasapi ng kapisanan, kung gayon bagay may katangian ng MemberFn kapisanan
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	Kong AutonomousAgent ay ang kasapi sa AutonomousAgent at WebSite ay ang kasapi sa WebSite, kung gayon mayroon koleksiyon para sa ganoon koleksiyon ay ang kasapi sa koleksiyon at para sa lahat WebListing kong WebListing ay ang kasapi sa WebListing at hostedOn WebListing and WebSite at listingSeller WebListing and AutonomousAgent, kung gayon WebListing ay ang kasapi ng koleksiyon at SellersItemsFn AutonomousAgent and WebSite ay pareho sa ** koleksiyon
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	Kong AutonomousAgent ay ang kasapi sa AutonomousAgent at potentialCustomer kinatawan may kaalaman and AutonomousAgent at modalAttribute kahit ano ay ang kasapi sa Reserving at kahit ano tapusin sa AutonomousAgent and Necessity at ang pagkakataon ng mayroon kahit anoES1 para sa ganoon kahit anoES1 ay ang kasapi sa Reservation at reservingEntity kinatawan may kaalaman and kahit anoES1 at fulfillingEntity AutonomousAgent and kahit anoES1 kung customer kinatawan may kaalaman and AutonomousAgent totoo sa ay customer kinatawan may kaalaman and AutonomousAgent at ang pagkakataon ng walang kahit anoES2 para sa ganoon kahit anoES2 ay ang kasapi sa Reservation at reservingEntity kinatawan may kaalaman and kahit anoES2 at fulfillingEntity AutonomousAgent and kahit anoES2 kung customer kinatawan may kaalaman and AutonomousAgent totoo sa ay customer kinatawan may kaalaman and AutonomousAgent, kung gayon tunay na numero ay meno ng tunay na numero
No TPTP formula. May not be expressible in strict first order.	Government.kif 1654-1660	Kong AutonomousAgent ay ang kasapi sa AutonomousAgent at ElectionFn AutonomousAgent ay ang klase mas tiyak sa Election, kung gayon AutonomousAgent ay ang kasapi sa kapisanan o ** AutonomousAgent ay ang kasapi sa laki ukol sa politika sa pamahalaan
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	Kong paraan ay ang kasapi sa AddToCart at kinatawan may kaalaman ay ang kasapi sa AutonomousAgent at kahit ano ay ang kasapi sa bagay at paraan ang kumakatawan sa kinatawan may kaalaman at kahit ano ay sumasali ng paraan, kung gayon kinatawan may kaalaman gusto mayroon kahit ano para sa ganoon kahit ano ay ang kasapi sa bumibili at kahit ano ay sumasali ng kahit ano at kahit ano ang kumakatawan sa kinatawan may kaalaman
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Kong paraan ay ang kasapi sa Auctioning at AutonomousAgent ay ang kasapi sa AutonomousAgent at AutonomousAgent ay ang kasapi sa AutonomousAgent at bagay ay ang kasapi sa bagay at batayang sukat ay ang kasapi sa UnitOfCurrency at bagay ay sumasali ng paraan at bidPrice bagay, tungkulin ng sukatan tunay na numero and batayang sukat and AutonomousAgent at bidPrice bagay, tungkulin ng sukatan tunay na numero and batayang sukat and AutonomousAgent at tunay na numero ay mas malaki sa tunay na numero, kung gayon paraan tapusin sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11806-11816	Kong paraan ay ang kasapi sa pagbabago ng pagmamay-ari at paraan ay nagsisimula sa bagay at paraan tapusin sa kahit ano at bagay ay ang kasapi sa AutonomousAgent at kahit ano ay ang kasapi sa AutonomousAgent at kahit ano ay sumasali ng paraan, kung gayon bagay ay mayroon kahit ano ay tutoo panahon ng ang simula sa ang panahon ng kabuhayan ng paraan at kahit ano ay mayroon kahit ano ay tutoo panahon ng ang dulo sa ang panahon ng kabuhayan ng paraan
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	Kong koleksiyon ay ang kasapi sa koleksiyon at WebSite ay ang kasapi sa WebSite at AutonomousAgent ay ang kasapi sa AutonomousAgent at WebListing ay ang kasapi sa WebListing at lugar ng panahon ay ang kasapi sa lugar ng panahon at listingSeller WebListing and AutonomousAgent at WebListing hindi ay ang kasapi ng koleksiyon at para sa lahat materyal at materyal kong materyal ay ang kasapi sa WebListing at materyal ay ang kasapi ng SellersItemsFn AutonomousAgent and WebSite at lugar ng panahon ay ang bahagi ng ang panahon ng kabuhayan ng materyal at materyal hindi ay pareho sa WebListing, kung gayon materyal ay ang kasapi ng koleksiyon at kong materyal ay ang kasapi ng koleksiyon, kung gayon lugar ng panahon ay ang bahagi ng ang panahon ng kabuhayan ng materyal at materyal ay ang kasapi sa WebListing , kung gayon SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and lugar ng panahon ay pareho sa ** koleksiyon
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Kong paraan ay ang kasapi sa paraan at tao ay ang kasapi sa AutonomousAgent at Experimenting ay ang kasapi sa Experimenting at treatedUser tao and Experimenting at experimentalVariableProcess Experimenting and paraan at tao ay danas paraan at tao ay danas paraan at exclusiveEvent Experimenting and paraan, kung gayon mayroon ExperimentingERIMENTER para sa ganoon ExperimentingERIMENTER ay ang kasapi sa AutonomousAgent at experimenter Experimenting and ExperimentingERIMENTER at ExperimentingERIMENTER naniniwala modalAttribute paraan ay nagbibigay ** paraan and Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11823-11835	Kong paraan ay ang kasapi sa pagbibigay at paraan ang kumakatawan sa AutonomousAgent at paraan tapusin sa AutonomousAgent at AutonomousAgent ay ang kasapi sa AutonomousAgent at kahit ano ay sumasali ng paraan, kung gayon mayroon paraan para sa ganoon paraan ay ang kasapi sa pagkuha at paraan ang kumakatawan sa AutonomousAgent at paraan ay nagsisimula sa AutonomousAgent at kahit ano ay sumasali ng ** paraan
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	Kong bagay ay ang kasapi sa bagay at bagay ay ang kasapi sa WebListing at AutonomousAgent ay ang kasapi sa AutonomousAgent at bagay may katangian ng ForSaleByOwner at AutonomousAgent ay mayroon bagay, kung gayon AutonomousAgent ay ang kasapi sa tao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2462-2469	Kong paraan ay ang kasapi sa pagsali sa kapisanan at AutonomousAgent ay ang kasapi sa AutonomousAgent at paraan ang kumakatawan sa AutonomousAgent at koleksiyon ay sumasali ng paraan at paraan ay ang kasapi sa kapisanan, kung gayon AutonomousAgent ay ang kasapi ng koleksiyon
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	Kong bagay ay ang kasapi sa WebListing at paraan ay ang kasapi sa bagay at kinatawan may kaalaman ay ang kasapi sa AutonomousAgent at bagay may katangian ng AuctionAttribute at bagay ay sumasali ng paraan at creator kinatawan may kaalaman and bagay, kung gayon kinatawan may kaalaman gusto mayroon kahit ano para sa ganoon kahit ano ay ang kasapi sa Auctioning at paraan ay sumasali ng ** kahit ano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1409-1415	Kong kapisanan ay ang kasapi sa AutonomousAgent at leader kapisanan and tao at kinatatayuan ay ang kasapi sa kinatatayuan at occupiesPosition tao, kinatatayuan and kapisanan, kung gayon leaderPosition kapisanan and kinatatayuan
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	Kong bagay ay ang kasapi sa DigitalPost at AutonomousAgent ay ang kasapi sa AutonomousAgent at WebSite ay ang kasapi sa WebSite at bagay ay ang sangkap ng WebSite at creator AutonomousAgent and bagay at registeredUser AutonomousAgent and WebSite, kung gayon bagay may ang layon mayroon kahit ano para sa ganoon kahit ano ay ang kasapi sa pagpapalaganap at kahit ano ang kumakatawan sa AutonomousAgent at bagay ay sumasali ng kahit ano at WebSite ay ang kasangkapan ng kahit ano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1440-1447	Kong tao ay ang kasapi sa tao at kinatatayuan ay ang kasapi sa kinatatayuan at kapisanan ay ang kasapi sa AutonomousAgent at leaderPosition kapisanan and kinatatayuan at occupiesPosition tao, kinatatayuan and kapisanan, kung gayon leader kapisanan and ** tao
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4075-4079	Kong AutonomousAgent ay ang kasapi sa AutonomousAgent at taon ay ang klase mas tiyak sa taon, kung gayon FiscalYearStartingFn AutonomousAgent and taon ay ang kasapi sa FiscalYearFn AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Kong pagitan ng panahon ay ang kasapi sa pagitan ng panahon_CLASS at pagitan ng panahon_CLASS ay ang klase mas tiyak sa paraan at AccessingWebPage ay ang kasapi sa AccessingWebPage at AutonomousAgent ay ang kasapi sa AutonomousAgent at pagitan ng panahon ang kumakatawan sa AutonomousAgent at AccessingWebPage ang kumakatawan sa AutonomousAgent at pagitan ng panahon nagaanap habang AccessingWebPage at materyal ay ang kasapi sa pagitan ng panahon at walang pagitan ng panahon2 para sa ganoon pagitan ng panahon2 ay ang kasapi sa pagitan ng panahon_CLASS at pagitan ng panahon2 ang kumakatawan sa AutonomousAgent at pagitan ng panahon2 nagaanap habang AccessingWebPage at ang simula sa ang panahon ng kabuhayan ng pagitan ng panahon2 nagaanap bago sa ang simula sa ang panahon ng kabuhayan ng pagitan ng panahon at ang simula sa ang panahon ng kabuhayan ng AccessingWebPage ay pareho sa ang simula sa ang panahon ng kabuhayan ng materyal at ang simula sa ang panahon ng kabuhayan ng pagitan ng panahon ay pareho sa ang dulo sa ang panahon ng kabuhayan ng materyal, kung gayon TTFxFn pagitan ng panahon_CLASS and AccessingWebPage ay pareho sa materyal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	Kong koleksiyon ay ang kasapi sa koleksiyon at para sa lahat materyal kong materyal ay ang kasapi ng koleksiyon, kung gayon materyal ay ang kasapi sa bumibili at mayroon bagay para sa ganoon bagay ay ang kasapi sa laki ukol sa politika sa pamahalaan at para sa lahat AutonomousAgent at paraan kong AutonomousAgent ay ang kasapi sa AutonomousAgent at paraan ay ang kasapi sa bumibili at paraan ay ang kasapi ng koleksiyon at paraan ang kumakatawan sa AutonomousAgent, kung gayon AutonomousAgent ay sa bagay , kung gayon mayroon teksto, kahit ano, and at kahit ano_PURCHASE_AMOUNT para sa ganoon total ang klase ilarawan ng teksto and kahit ano_PURCHASE_AMOUNT at GMBFn koleksiyon ay pareho sa ** kahit ano_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	Kong paraan ay ang kasapi sa ViewItemRequest at paraan ay ang kasapi sa AccessingWebPage at bagay ay ang kasapi sa ViewItemPage at AutonomousAgent ay ang kasapi sa AutonomousAgent at WebListing ay ang kasapi sa pagpa-anunsiyo at paraan ay ang paraan mas baba ng paraan at bagay ay ang sangkap ng WebListing at paraan tapusin sa bagay at paraan ang kumakatawan sa AutonomousAgent, kung gayon viewedListing AutonomousAgent and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	Kong koleksiyon ay ang kasapi sa koleksiyon at para sa lahat materyal kong materyal ay ang kasapi ng koleksiyon, kung gayon materyal ay ang kasapi sa nagbibili at mayroon bagay para sa ganoon bagay ay ang kasapi sa laki ukol sa politika sa pamahalaan at para sa lahat AutonomousAgent at paraan kong AutonomousAgent ay ang kasapi sa AutonomousAgent at paraan ay ang kasapi sa bumibili at paraan ay ang kasapi ng koleksiyon at paraan ang kumakatawan sa AutonomousAgent, kung gayon AutonomousAgent ay sa bagay , kung gayon mayroon teksto, kahit ano, and at kahit ano_SALE_AMOUNT para sa ganoon total ang klase ilarawan ng teksto and kahit ano_SALE_AMOUNT at GMVFn koleksiyon ay pareho sa ** kahit ano_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Kong paraan ay ang kasapi sa paraan at Experimenting ay ang kasapi sa Experimenting at paraan ay ang kasapi sa AutonomousAgent at AutonomousAgent ay danas paraan at experimentalVariableProcess Experimenting and paraan, kung gayon mayroon kahit ano_GROUP para sa ganoon kahit ano_GROUP ay ang kasapi sa koleksiyon at paraan ay ang kasapi ng kahit ano_GROUP at controlGroup kahit ano_GROUP and ** Experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32141-32154	Kahit ano may katangian ng Alone ay tutoo panahon ng pagitan ng panahon kung at tangi kung walang kahit ano2 at paraan para sa ganoon kahit ano hindi ay pareho sa kahit ano2 at kahit ano2 ay ang kasapi sa AutonomousAgent at paraan ay ang kasapi sa paraan ng pakikipagkapwa at ang panahon ng kabuhayan ng paraan nagaanap habang pagitan ng panahon at involvedInEvent paraan and kahit ano at involvedInEvent paraan and ** kahit ano2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	Kong accountAtSite UserAccount and WebSite, kung gayon mayroon bagay at WebSite_OWNER para sa ganoon bagay ay ang kasapi sa Database at WebSite_OWNER ay ang kasapi sa AutonomousAgent at WebSite_OWNER ay mayroon WebSite at WebSite_OWNER ay mayroon bagay at UserAccount ay ang bahagi ng ** bagay
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3528-3532	Kong firstTimeBuyers pagitan ng panahon, WebSite and koleksiyon at materyal ay ang kasapi ng koleksiyon, kung gayon materyal ay ang kasapi sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3576-3580	Kong firstTimeSellers pagitan ng panahon, WebSite and koleksiyon at materyal ay ang kasapi ng koleksiyon, kung gayon materyal ay ang kasapi sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	Kong paraan ay ang kasapi sa Auctioning at bagay ay ang kasapi sa bagay at bagay ay sumasali ng paraan, kung gayon mayroon AutonomousAgent at sukat ng salapi para sa ganoon AutonomousAgent ay ang kasapi sa AutonomousAgent at sukat ng salapi ay ang kasapi sa sukat ng salapi at bidPrice bagay, sukat ng salapi and ** AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25099-25103	Kong AchievingControl ay ang kasapi sa Capturing at controlled AchievingControl and bagay, kung gayon bagay ay ang kasapi sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17274-17287	Kong paraan ay ang kasapi sa Commenting at kahit ano ay ang kasapi sa paraan at kahit ano ay sumasali ng paraan, kung gayon mayroon AutonomousAgent, paraan, and at paraan para sa ganoon AutonomousAgent ay ang kasapi sa AutonomousAgent at paraan ay ang kasapi sa Speaking at paraan ay ang kasapi sa Looking at paraan ang kumakatawan sa AutonomousAgent at paraan ang kumakatawan sa AutonomousAgent at kahit ano ay sumasali ng paraan at paraan ay tumutungkil sa ** kahit ano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Kong paraan ay ang kasapi sa paraan at tao ay ang kasapi sa AutonomousAgent at Experimenting ay ang kasapi sa Experimenting at treatedUser tao and Experimenting at experimentalVariableProcess Experimenting and paraan at tao ay danas paraan at tao ay danas paraan at exclusiveEvent Experimenting and paraan, kung gayon mayroon ExperimentingERIMENTER para sa ganoon ExperimentingERIMENTER ay ang kasapi sa AutonomousAgent at experimenter Experimenting and ExperimentingERIMENTER at ExperimentingERIMENTER naniniwala modalAttribute paraan ay nagbibigay ** paraan and Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16403-16407	Kong koleksiyon ay ang kasapi sa lupon at materyal ay ang kasapi ng koleksiyon, kung gayon materyal ay ang kasapi sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Kong pagitan ng panahon ay ang kasapi sa pagitan ng panahon at WebSite ay ang kasapi sa WebSite, kung gayon mayroon koleksiyon para sa ganoon koleksiyon ay ang kasapi sa koleksiyon at para sa lahat AutonomousAgent kong AutonomousAgent ay ang kasapi ng koleksiyon, kung gayon mayroon pagitan ng panahon para sa ganoon AutonomousAgent ay ang kasapi sa AutonomousAgent at pagitan ng panahon ay ang kasapi sa bumibili at pagitan ng panahon ang kumakatawan sa AutonomousAgent at WebSite ay ang kasangkapan ng pagitan ng panahon at pagitan ng panahon nagaanap habang pagitan ng panahon at walang pagitan ng panahon_BEFORE para sa ganoon pagitan ng panahon_BEFORE ay ang kasapi sa pagitan ng panahon at pagitan ng panahon_BEFORE ay kanina sa pagitan ng panahon at mayroon pagitan ng panahon_BEFORE para sa ganoon pagitan ng panahon_BEFORE ay ang kasapi sa bumibili at pagitan ng panahon_BEFORE ang kumakatawan sa AutonomousAgent at WebSite ay ang kasangkapan ng pagitan ng panahon_BEFORE at pagitan ng panahon_BEFORE nagaanap habang pagitan ng panahon ay tutoo panahon ng pagitan ng panahon_BEFORE at SiteWideNewBuyersFn pagitan ng panahon and WebSite ay pareho sa ** koleksiyon
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Kong pagitan ng panahon ay ang kasapi sa pagitan ng panahon at WebSite ay ang kasapi sa WebSite, kung gayon mayroon koleksiyon para sa ganoon koleksiyon ay ang kasapi sa koleksiyon at para sa lahat AutonomousAgent kong AutonomousAgent ay ang kasapi ng koleksiyon, kung gayon mayroon pagitan ng panahon para sa ganoon AutonomousAgent ay ang kasapi sa AutonomousAgent at pagitan ng panahon ay ang kasapi sa nagbibili at pagitan ng panahon ang kumakatawan sa AutonomousAgent at WebSite ay ang kasangkapan ng pagitan ng panahon at pagitan ng panahon nagaanap habang pagitan ng panahon at walang pagitan ng panahon_BEFORE para sa ganoon pagitan ng panahon_BEFORE ay ang kasapi sa pagitan ng panahon at pagitan ng panahon_BEFORE ay kanina sa pagitan ng panahon at mayroon pagitan ng panahon_BEFORE para sa ganoon pagitan ng panahon_BEFORE ay ang kasapi sa nagbibili at pagitan ng panahon_BEFORE ang kumakatawan sa AutonomousAgent at WebSite ay ang kasangkapan ng pagitan ng panahon_BEFORE at pagitan ng panahon_BEFORE nagaanap habang pagitan ng panahon ay tutoo panahon ng pagitan ng panahon_BEFORE at SiteWideNewSellersFn pagitan ng panahon and WebSite ay pareho sa ** koleksiyon
No TPTP formula. May not be expressible in strict first order.	Media.kif 895-901	Kong kahit ano ay ang kasapi sa Logo at kahit ano ay nagtatanto kahit ano, kung gayon kahit ano ay ang kasapi sa AutonomousAgent o kahit ano ay ang kasapi sa bunga
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16806-16810	Kong koleksiyon ay ang kasapi sa kapisanan at materyal ay ang kasapi ng koleksiyon, kung gayon materyal ay ang kasapi sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2426-2435	Kong kahit ano ay ang kasapi sa SearchQuery at paraan ay ang kasapi sa SearchAttempt at kahit ano ay nagtatanto paraan, kung gayon mayroon AutonomousAgent at kahit ano para sa ganoon AutonomousAgent ay ang kasapi sa AutonomousAgent at kahit ano ay sumasali ng paraan at paraan ang kumakatawan sa ** AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	Kong bagay ay ang kasapi sa bumibili at bagay may katangian ng CBT at kahit ano ay sumasali ng bagay at kahit ano ay ang kasapi sa bagay, kung gayon mayroon bagay, AutonomousAgent,, , AutonomousAgent_LOCATION, and at bagay_LOCATION para sa ganoon AutonomousAgent ay ang kasapi sa AutonomousAgent at bagay ay ang kasapi sa AutonomousAgent at bagay ang kumakatawan sa AutonomousAgent at bagay ay nagsisimula sa bagay at AutonomousAgent_LOCATION ay ang kasapi sa laki ukol sa politika sa pamahalaan at bagay_LOCATION ay ang kasapi sa laki ukol sa politika sa pamahalaan at bagay ay sa bagay_LOCATION at AutonomousAgent ay sa AutonomousAgent_LOCATION at AutonomousAgent_LOCATION hindi ay pareho sa ** bagay_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	Kong bagay ay ang kasapi sa pagpapalit ng pananalapi at bagay may katangian ng BusinessToBusiness, kung gayon mayroon UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and at WebSite para sa ganoon UserAccount ay ang kasapi sa UserAccount at UserAccount ay ang kasapi sa UserAccount at AutonomousAgent ay ang kasapi sa AutonomousAgent at AutonomousAgent ay ang kasapi sa AutonomousAgent at WebSite ay ang kasapi sa WebSite at bagay ang kumakatawan sa AutonomousAgent at bagay tapusin sa AutonomousAgent at WebSite ay ang kasangkapan ng bagay at hasAccount AutonomousAgent and UserAccount at hasAccount AutonomousAgent and UserAccount at accountAtSite UserAccount and WebSite at accountAtSite UserAccount and WebSite at UserAccount may katangian ng BusinessAccount at ** UserAccount may katangian ng BusinessAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	Kong bagay ay ang kasapi sa pagpapalit ng pananalapi at bagay may katangian ng BusinessToConsumer, kung gayon mayroon UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and at WebSite para sa ganoon UserAccount ay ang kasapi sa UserAccount at UserAccount ay ang kasapi sa UserAccount at AutonomousAgent ay ang kasapi sa AutonomousAgent at AutonomousAgent ay ang kasapi sa AutonomousAgent at WebSite ay ang kasapi sa WebSite at bagay ang kumakatawan sa AutonomousAgent at bagay tapusin sa AutonomousAgent at WebSite ay ang kasangkapan ng bagay at hasAccount AutonomousAgent and UserAccount at hasAccount AutonomousAgent and UserAccount at accountAtSite UserAccount and WebSite at accountAtSite UserAccount and WebSite at UserAccount may katangian ng BusinessAccount at ** UserAccount may katangian ng ConsumerAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	Kong bagay ay ang kasapi sa pagpapalit ng pananalapi at bagay may katangian ng ConsumerToConsumer, kung gayon mayroon UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and at WebSite para sa ganoon UserAccount ay ang kasapi sa UserAccount at UserAccount ay ang kasapi sa UserAccount at AutonomousAgent ay ang kasapi sa AutonomousAgent at AutonomousAgent ay ang kasapi sa AutonomousAgent at WebSite ay ang kasapi sa WebSite at bagay ang kumakatawan sa AutonomousAgent at bagay tapusin sa AutonomousAgent at WebSite ay ang kasangkapan ng bagay at hasAccount AutonomousAgent and UserAccount at hasAccount AutonomousAgent and UserAccount at accountAtSite UserAccount and WebSite at accountAtSite UserAccount and WebSite at UserAccount may katangian ng ConsumerAccount at ** UserAccount may katangian ng ConsumerAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	Kong bagay ay ang kasapi sa nagbibili at bagay may katangian ng CBT at kahit ano ay sumasali ng bagay at kahit ano ay ang kasapi sa bagay, kung gayon mayroon AutonomousAgent, materyal,, , materyal_LOCATION, and at AutonomousAgent_LOCATION para sa ganoon materyal ay ang kasapi sa AutonomousAgent at AutonomousAgent ay ang kasapi sa AutonomousAgent at bagay tapusin sa materyal at bagay ang kumakatawan sa AutonomousAgent at materyal_LOCATION ay ang kasapi sa laki ukol sa politika sa pamahalaan at AutonomousAgent_LOCATION ay ang kasapi sa laki ukol sa politika sa pamahalaan at AutonomousAgent ay sa AutonomousAgent_LOCATION at materyal ay sa materyal_LOCATION at materyal_LOCATION hindi ay pareho sa ** AutonomousAgent_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3627	Kong newRegisteredUsers pagitan ng panahon, WebSite and koleksiyon at materyal ay ang kasapi ng koleksiyon, kung gayon materyal ay ang kasapi sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1026-1030	Kong subjectiveAttribute kahit ano, katangian and AutonomousAgent at katangian ay ang kasapi sa TimeAttribute, kung gayon kahit ano ay ang kasapi sa AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	Kong bagay may katangian ng OpenLayout, kung gayon bagay ay ang kasapi sa silid at mayroon bagay, bagay, and at bagay para sa ganoon bagay ay ang kasapi sa lugar at bagay ay ang kasapi sa lugar at bagay ay sa bagay at bagay ay sa bagay at bagay hindi ay pareho sa bagay at bagay ay katabi sa bagay at mayroon pormula at pormula para sa ganoon pormula ay ang kasapi sa paraan at pormula ay ang kasapi sa paraan at bagay may ang layon pormula at bagay may ang layon pormula at kong bagay ay ang kasapi sa AutonomousAgent at bagay ay sa ** bagay, kung gayon kaya nagkikita gawin kumakatawan at kaya nagkikita gawin patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	Kong browserID Identifier, WebBrowser and WebSite, kung gayon mayroon teksto, paraan,, , AutonomousAgent, and at ComputerProcess para sa ganoon teksto ay ang kasapi sa WebPage at subString teksto and WebSite at paraan ay ang kasapi sa AccessingWebPage at AutonomousAgent ay ang kasapi sa AutonomousAgent at paraan ang kumakatawan sa AutonomousAgent at programRunning ComputerProcess and WebBrowser at ComputerProcess ay nagbibigay paraan at paraan tapusin sa teksto at Identifier ay nagtatanto ** AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 770-777	Kong colocatedAgent AutonomousAgent and katangian ng magkaugnay, kung gayon mayroon AutonomousAgent2 at bagay para sa ganoon AutonomousAgent2 ay ang kasapi sa AutonomousAgent at AutonomousAgent2 may katangian ng katangian ng magkaugnay at AutonomousAgent ay sa bagay at AutonomousAgent2 ay sa ** bagay
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	Kong exclusiveEvent Experimenting and paraan, kung gayon mayroon paraan at tao para sa ganoon paraan ay ang kasapi sa paraan at tao ay ang kasapi sa AutonomousAgent at treatedUser tao and Experimenting at experimentalVariableProcess Experimenting and paraan at tao ay danas paraan at tao ay danas paraan at ang panahon ng kabuhayan ng paraan ay kanina sa ang panahon ng kabuhayan ng ** paraan

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: