Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - employs
employs

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3725-3726
No TPTP formula. May not be expressible in strict first order. Merge.kif 15450-15453
No TPTP formula. May not be expressible in strict first order. Merge.kif 15448-15448 The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15449-15449 The number 2 argument of employs is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15447-15447 employs is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 547-547
No TPTP formula. May not be expressible in strict first order. english_format.kif 555-555
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21931-21931
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 548-548
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21930-21930
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21929-21929

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16030-16036 A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3158-3164 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2169-2173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18313-18334
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2338-2353
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1470-1483
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1124-1129
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1136-1148
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3488-3499
No TPTP formula. May not be expressible in strict first order. Merge.kif 16056-16059

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3534-3541 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1883-1894
No TPTP formula. May not be expressible in strict first order. Government.kif 4417-4421
No TPTP formula. May not be expressible in strict first order. Government.kif 4423-4427
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 171-177
No TPTP formula. May not be expressible in strict first order. Merge.kif 10005-10013
No TPTP formula. May not be expressible in strict first order. Merge.kif 9989-9997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14524-14531
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1850-1862
No TPTP formula. May not be expressible in strict first order. Government.kif 4545-4550
No TPTP formula. May not be expressible in strict first order. Government.kif 4538-4543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18731-18737
No TPTP formula. May not be expressible in strict first order. naics.kif 11857-11869
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1831-1836
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3252-3259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20347-20352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20916-20923
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3057-3065
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2227-2238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8276-8289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20493-20507
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2246-2253
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14580-14582
No TPTP formula. May not be expressible in strict first order. Hotel.kif 603-608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20674-20676

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners