Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-76
No TPTP formula. May not be expressible in strict first order. Merge.kif 3555-3555 Proposition is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1630-1630 TPFDD is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13733-13733 Music is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13786-13786 Lyrical content is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13957-13957 Agreement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22773-22773 Classification scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27185-27185 Policy is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5622-5622 Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 5819-5819 Graph element is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16769-16769 Field of study is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16777-16777 Procedure is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16812-16812 Argument is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1541-1541 Meal plan is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2725-2725 Hotel package is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 647-647 Constitution is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 863-863 Regional law is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Government.kif 899-899 Suffrage law is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1639-1639 Economic indicator is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3882-3882 Bank statement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. engineering.kif 69-69 Model is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. engineering.kif 150-150 Equation is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. engineering.kif 1240-1240 Scientific law is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. engineering.kif 1266-1266 Multipole postulate is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Catalog.kif 31-31 Catalog is a subclass of proposition
No TPTP formula. May not be expressible in strict first order. Catalog.kif 184-184 Pricing scheme is a subclass of proposition


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