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 15467-15470
No TPTP formula. May not be expressible in strict first order. Merge.kif 15465-15465 The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15466-15466 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 15464-15464 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 16047-16053 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 18286-18307
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 16073-16076

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 10028-10036
No TPTP formula. May not be expressible in strict first order. Merge.kif 10012-10020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14497-14504
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 18704-18710
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 20320-20325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20889-20896
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3055-3063
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 8249-8262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20466-20480
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 14553-14555
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 20647-20649

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