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. Merge.kif 10557-10557 Religious process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 51-51 Islamic militancy is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7985-7985 Religious service is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7992-7992 Baptizing is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8003-8003 Praying is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16025-16025 Religious funeral is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Biography.kif 54-54 ReligiousWedding is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Biography.kif 66-66 BarMitzvah is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Biography.kif 96-96 BatMitzvah is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Biography.kif 127-127 Ordaining is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 120-120 Hajj is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 169-169 Ihram period is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 184-184 Umrah is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 195-195 Zakat is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 242-242 Udhiyah ritual is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 272-272 Eid aladha is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 324-324 Aqiqah is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 344-344 Khitan is a subclass of religious process


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