|
|
   IntentionalRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1920-1921 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2673-2675 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 547-548 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2670-2670 | IntentionalRelation e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | IntentionalRelation e' uma sub-classe de Relacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22977-22977 | cohabitant e' uma instancia de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23361-23361 | domesticPartner e' uma instancia de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22942-22942 | friend e' uma instancia de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2722-2722 | inScopeOfInterest e' uma instancia de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2685-2685 | prefers e' uma instancia de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22875-22875 | serviceProvider e' uma instancia de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22886-22886 | serviceRecipient e' uma instancia de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2708-2708 | Atitude em relacao a um Objeto e' uma sub-classe de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2694-2694 | Atitude pProposicional e' uma sub-classe de IntentionalRelation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30385-30385 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30384-30384 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30383-30383 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2677-2682 |
|
|
|
|