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 15516-15519
No TPTP formula. May not be expressible in strict first order. Merge.kif 15514-15514 The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15515-15515 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 15513-15513 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 21999-21999
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 21998-21998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21997-21997

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16099-16105 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 3200-3206 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 2201-2205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17007-17028
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2352-2367
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1484-1497
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1134-1139
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1146-1161
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3530-3541
No TPTP formula. May not be expressible in strict first order. Merge.kif 16125-16128

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3576-3583 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 1897-1908
No TPTP formula. May not be expressible in strict first order. Government.kif 4449-4453
No TPTP formula. May not be expressible in strict first order. Government.kif 4455-4459
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 10063-10071
No TPTP formula. May not be expressible in strict first order. Merge.kif 10047-10055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13523-13530
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1864-1876
No TPTP formula. May not be expressible in strict first order. Government.kif 4577-4582
No TPTP formula. May not be expressible in strict first order. Government.kif 4570-4575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17403-17409
No TPTP formula. May not be expressible in strict first order. naics.kif 11941-11953
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1845-1850
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3294-3301
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18884-18889
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19402-19411
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3043-3051
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2241-2252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7433-7446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18996-19010
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2260-2267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13579-13581
No TPTP formula. May not be expressible in strict first order. Hotel.kif 609-614
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19171-19173

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